extension | φ:Q→Out N | d | ρ | Label | ID |
C32:4Q8:1S3 = He3:3SD16 | φ: S3/C1 → S3 ⊆ Out C32:4Q8 | 72 | 6 | C3^2:4Q8:1S3 | 432,78 |
C32:4Q8:2S3 = He3:4SD16 | φ: S3/C1 → S3 ⊆ Out C32:4Q8 | 72 | 12- | C3^2:4Q8:2S3 | 432,84 |
C32:4Q8:3S3 = C3:S3:Dic6 | φ: S3/C1 → S3 ⊆ Out C32:4Q8 | 72 | 12- | C3^2:4Q8:3S3 | 432,294 |
C32:4Q8:4S3 = C12.84S32 | φ: S3/C1 → S3 ⊆ Out C32:4Q8 | 72 | 6 | C3^2:4Q8:4S3 | 432,296 |
C32:4Q8:5S3 = C12.85S32 | φ: S3/C1 → S3 ⊆ Out C32:4Q8 | 72 | 6- | C3^2:4Q8:5S3 | 432,298 |
C32:4Q8:6S3 = C12.S32 | φ: S3/C1 → S3 ⊆ Out C32:4Q8 | 72 | 12- | C3^2:4Q8:6S3 | 432,299 |
C32:4Q8:7S3 = C33:17SD16 | φ: S3/C3 → C2 ⊆ Out C32:4Q8 | 72 | | C3^2:4Q8:7S3 | 432,444 |
C32:4Q8:8S3 = C33:12SD16 | φ: S3/C3 → C2 ⊆ Out C32:4Q8 | 144 | | C3^2:4Q8:8S3 | 432,439 |
C32:4Q8:9S3 = C33:18SD16 | φ: S3/C3 → C2 ⊆ Out C32:4Q8 | 48 | 4 | C3^2:4Q8:9S3 | 432,458 |
C32:4Q8:10S3 = D12:(C3:S3) | φ: S3/C3 → C2 ⊆ Out C32:4Q8 | 72 | | C3^2:4Q8:10S3 | 432,662 |
C32:4Q8:11S3 = C32:9(S3xQ8) | φ: S3/C3 → C2 ⊆ Out C32:4Q8 | 72 | | C3^2:4Q8:11S3 | 432,666 |
C32:4Q8:12S3 = C3:S3:4Dic6 | φ: S3/C3 → C2 ⊆ Out C32:4Q8 | 48 | 4 | C3^2:4Q8:12S3 | 432,687 |
C32:4Q8:13S3 = C12:S3:12S3 | φ: S3/C3 → C2 ⊆ Out C32:4Q8 | 48 | 4 | C3^2:4Q8:13S3 | 432,688 |
C32:4Q8:14S3 = C12.58S32 | φ: trivial image | 72 | | C3^2:4Q8:14S3 | 432,669 |